\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}Get the Package}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Prerequisites}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Compilation}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}The Core Library}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Solvers}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Oracles}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Execution}{3}}
